The B-book : assigning programs to meanings / [...] XD-US

Preface. I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems
 M. Broy. 2. Actor-oriented Models for Codesign
 E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models
 F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC
 H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation
 J. Romberg, et al. II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication
 C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems
 E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems
 F. Bellegarde, et al. III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference
 J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design
 J.-P. Talpin, et al. IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs
 D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency
 S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models
 D. Berner, et al. V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures
 S. Komatsu, et al.